Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds

Dull, weak and nested solitaire games are important classes of parity games, capturing, among others, alternation-free mu-calculus and ECTL* model checking problems. These classes can be solved in polynomial time using dedicated algorithms. We investigate the complexity of Zielonka's Recursive algorithm for solving these special games, showing that the algorithm runs in O(d (n + m)) on weak games, and, somewhat surprisingly, that it requires exponential time to solve dull games and (nested) solitaire games. For the latter classes, we provide a family of games G, allowing us to establish a lower bound of 2^(n/3). We show that an optimisation of Zielonka's algorithm permits solving games from all three classes in polynomial time. Moreover, we show that there is a family of (non-special) games M that permits us to establish a lower bound of 2^(n/3), improving on the previous lower bound for the algorithm.Comment: In Proceedings GandALF 2013, arXiv:1307.416

Strategy Derivation for Small Progress Measures

Small Progress Measures is one of the most efficient parity game solving algorithms. The original algorithm provides the full solution (winning regions and strategies) in $O(dm \cdot (n/\lceil d / 2 \rceil)^{\lceil d/2 \rceil})$ time, and requires a re-run of the algorithm on one of the winning regions. We provide a novel operational interpretation of progress measures, and modify the algorithm so that it derives the winning strategies for both players in one pass. This reduces the upper bound on strategy derivation for SPM to $O(dm \cdot (n/\lfloor d / 2 \rfloor)^{\lfloor d/2 \rfloor})$.Comment: polished the tex

Harmonic balance surrogate-based immunity modeling of a nonlinear analog circuit

A novel harmonic balance surrogate-based technique to create fast and accurate behavioral models predicting, in the early design stage, the performance of nonlinear analog devices during immunity tests is presented. The obtained immunity model hides the real netlist, reduces the simulation time, and avoids expensive and time-consuming measurements after tape-out, while still providing high accuracy. The model can easily be integrated into a circuit simulator together with additional subcircuits, e.g., board and package models, as such allowing to efficiently reproduce complete immunity test setups during the early design stage and without disclosing any intellectual property. The novel method is validated by means of application to an industrial case study, being an automotive voltage regulator, clearly showing the technique's capabilities and practical advantages

Nuclear physics uncertainties in light hypernuclei

The energy levels of light hypernuclei are experimentally accessible observables that contain valuable information about the interaction between hyperons and nucleons. In this work we study strangeness $S = -1$ systems $^{3,4}_\Lambda$H and $^{4,5}_\Lambda$He using the ab initio no-core shell model (NCSM) with realistic interactions obtained from chiral effective field theory ($\chi$EFT). In particular, we quantify the finite precision of theoretical predictions that can be attributed to nuclear physics uncertainties. We study both the convergence of the solution of the many-body problem (method uncertainty) and the regulator- and calibration data-dependence of the nuclear $\chi$EFT Hamiltonian (model uncertainty). For the former, we implement infrared correction formulas and extrapolate finite-space NCSM results to infinite model space. We then use Bayesian parameter estimation to quantify the resulting method uncertainties. For the latter, we employ a family of 42 realistic Hamiltonians and measure the standard deviation of predictions while keeping the leading-order hyperon-nucleon interaction fixed. Following this procedure we find that model uncertainties of ground-state $\Lambda$ separation energies amount to $\sim 20(100)$ keV in $^3_\Lambda$H($^4_\Lambda$H,He) and $\sim 400$ keV in $^5_\Lambda$He. Method uncertainties are comparable in magnitude for the $^4_\Lambda$H,He $1^+$ excited states and $^5_\Lambda$He, which are computed in limited model spaces, but otherwise much smaller. This knowledge of expected theoretical precision is crucial for the use of binding energies of light hypernuclei to infer the elusive hyperon-nucleon interaction.Comment: 16 pages with 8 figure

Application of Colorimetric Solid Phase Extraction (C-SPE) to Monitoring Nickel(II) and Lead(II) in Spacecraft Water Supplies

Archived water samples collected on the International Space Station (ISS) and returned to Earth for analysis have, in a few instances, contained trace levels of heavy metals. Building on our previous advances using Colorimetric Solid Phase Extraction (C-SPE) as a biocide monitoring technique, we are devising methods for the low level monitoring of nickel(II), lead(II) and other heavy metals. C-SPE is a sorption-spectrophotometric platform based on the extraction of analytes onto a membrane impregnated with a colorimetric reagent that are then quantified on the surface of the membrane using a diffuse reflectance spectrophotometer. Along these lines, we have determined nickel(II) via complexation with dimethylglyoxime (DMG) and begun to examine the analysis of lead(II) by its reaction with 2,5- dimercapto-1,3,4-thiadiazole (DMTD) and 4-(2- pyridylazo)-resorcinol (PAR). These developments are also extending a new variant of C-SPE in which immobilized reagents are being incorporated into this methodology in order to optimize sample reaction conditions and to introduce the colorimetric reagent. This paper describes the status of our development of these two new methods

Why Are Male Social Relationships Complex in the Doubtful Sound Bottlenose Dolphin Population?

Copyright 2008 Elsevier B.V., All rights reserved.Peer reviewedPublisher PD

Altered translation of GATA1 in Diamond-Blackfan anemia

Ribosomal protein haploinsufficiency occurs in diverse human diseases including Diamond-Blackfan anemia (DBA),1,2 congenital asplenia,3 and T-cell leukemia.4 Yet how mutations in such ubiquitously expressed proteins result in cell-type and tissue specific defects remains a mystery.5 Here, we show that GATA1 mutations that reduce full-length protein levels of this critical hematopoietic transcription factor can cause DBA in rare instances. We show that ribosomal protein haploinsufficiency, the more common cause of DBA, can similarly reduce translation of GATA1 mRNA - a phenomenon that appears to result from this mRNA having a higher threshold for initiation of translation. In primary hematopoietic cells from patients with RPS19 mutations, a transcriptional signature of GATA1 target genes is globally and specifically reduced, confirming that the activity, but not the mRNA level, of GATA1 is reduced in DBA patients with ribosomal protein mutations. The defective hematopoiesis observed in DBA patients with ribosomal protein haploinsufficiency can be at least partially overcome by increasing GATA1 protein levels. Our results provide a paradigm by which selective defects in translation due to mutations in ubiquitous ribosomal proteins can result in human disease

Complex Study of Magnetization Reversal Mechanisms of FeNi/FeMn Bilayers Depending on Growth Conditions

Magnetization reversal processes in the NiFe/FeMn exchange biased structures with various antiferromagnetic layer thicknesses (0–50 nm) and glass substrate temperatures (17–600◦C) during deposition were investigated in detail. Magnetic measurements were performed in the temperature range from 80 K up to 300 K. Hysteresis loop asymmetry was found at temperatures lower than 150 K for the samples with an antiferromagnetic layer thickness of more than 10 nm. The average grain size of FeMn was found to increase with the AFM layer increase, and to decrease with the substrate temperature increase. Hysteresis loop asymmetry was explained in terms of the exchange spring model in the antiferromagnetic layer. © 2022 by the authors. Licensee MDPI, Basel, Switzerland.Ministry of Education and Science of the Russian Federation, Minobrnauka: FEUZ-2020-0051; Agentúra na Podporu Výskumu a Vývoja, APVV: APVV-20-0324Funding: This work has been supported by the grant of the Slovak Research and Development Agency under the contract No APVV-20-0324. This work was in part financially supported by the Ministry of Science and Higher Education of the Russian Federation, Subject of the state task No. FEUZ-2020-0051. The electron microscopy investigations were carried out on the equipment of Krasnoyarsk Regional Center of Research Equipment of Federal Research Center «Krasnoyarsk Science Center SB RAS»